[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

201 223 167 0 0 1269 0 0 0

N.S.

1 1.11 0.83 0.00 0.00 6.31 0.00 0.00 0.00

time (sec)

N/A 0.319 0.543 0.000 0.000 0.250 0.000 0.000 0.000

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 159 125 0 0 715 0 0 0

N.S.

1 1.22 0.96 0.00 0.00 5.50 0.00 0.00 0.00

time (sec)

N/A 0.239 0.311 0.000 0.000 0.251 0.000 0.000 0.000

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 122 75 0 0 222 0 0 0

N.S.

1 1.44 0.88 0.00 0.00 2.61 0.00 0.00 0.00

time (sec)

N/A 0.202 0.006 0.000 0.000 0.232 0.000 0.000 0.000

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 91 73 0 0 222 0 0 0

N.S.

1 1.07 0.86 0.00 0.00 2.61 0.00 0.00 0.00

time (sec)

N/A 0.190 0.094 0.000 0.000 0.232 0.000 0.000 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 135 128 0 0 722 0 0 0

N.S.

1 1.01 0.96 0.00 0.00 5.39 0.00 0.00 0.00

time (sec)

N/A 0.229 0.304 0.000 0.000 0.244 0.000 0.000 0.000

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

206 201 179 0 0 1287 0 0 0

N.S.

1 0.98 0.87 0.00 0.00 6.25 0.00 0.00 0.00

time (sec)

N/A 0.285 0.588 0.000 0.000 0.251 0.000 0.000 0.000

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

288 274 235 0 0 1829 0 0 0

N.S.

1 0.95 0.82 0.00 0.00 6.35 0.00 0.00 0.00

time (sec)

N/A 0.369 0.844 0.000 0.000 0.275 0.000 0.000 0.000

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

244 229 125 0 0 230 0 0 0

N.S.

1 0.94 0.51 0.00 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.384 0.294 0.000 0.000 0.237 0.000 0.000 0.000

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

216 205 97 0 0 222 90 0 0

N.S.

1 0.95 0.45 0.00 0.00 1.03 0.42 0.00 0.00

time (sec)

N/A 0.357 0.204 0.000 0.000 0.232 5.667 0.000 0.000

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 23 21 0 25 82 0 36

N.S.

1 1.00 0.77 0.70 0.00 0.83 2.73 0.00 1.20

time (sec)

N/A 0.140 0.150 0.632 0.000 0.224 37.144 0.000 1.277

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 30 28 0 32 0 0 44

N.S.

1 1.00 0.59 0.55 0.00 0.63 0.00 0.00 0.86

time (sec)

N/A 0.169 0.206 1.854 0.000 0.224 0.000 0.000 1.266

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 81 35 33 0 37 0 0 52

N.S.

1 1.07 0.46 0.43 0.00 0.49 0.00 0.00 0.68

time (sec)

N/A 0.180 0.187 1.523 0.000 0.221 0.000 0.000 1.300

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

93 93 39 0 0 0 119 0 0

N.S.

1 1.00 0.42 0.00 0.00 0.00 1.28 0.00 0.00

time (sec)

N/A 0.210 10.016 0.000 0.000 0.000 55.345 0.000 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 62 25 0 0 0 105 0 0

N.S.

1 1.03 0.42 0.00 0.00 0.00 1.75 0.00 0.00

time (sec)

N/A 0.191 9.821 0.000 0.000 0.000 2.143 0.000 0.000

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

42 44 23 0 0 0 87 0 0

N.S.

1 1.05 0.55 0.00 0.00 0.00 2.07 0.00 0.00

time (sec)

N/A 0.177 10.008 0.000 0.000 0.000 11.800 0.000 0.000

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

70 72 25 0 0 0 0 0 0

N.S.

1 1.03 0.36 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.190 10.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 105 25 0 0 0 0 0 0

N.S.

1 1.11 0.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 10.011 0.000 0.000 0.000 0.000 0.000 0.000

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 87 212 172 251 2462 431 224

N.S.

1 1.00 0.84 2.04 1.65 2.41 23.67 4.14 2.15

time (sec)

N/A 0.249 0.124 0.651 0.204 0.238 0.842 0.274 1.222

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 74 114 113 159 1095 260 146

N.S.

1 1.00 1.00 1.54 1.53 2.15 14.80 3.51 1.97

time (sec)

N/A 0.217 0.233 0.640 0.195 0.231 0.532 0.275 1.147

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 41 49 63 83 377 132 88

N.S.

1 1.00 0.89 1.07 1.37 1.80 8.20 2.87 1.91

time (sec)

N/A 0.186 0.185 0.632 0.196 0.227 0.343 0.272 1.207

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 45 0 0 0 104 0 0

N.S.

1 1.00 0.80 0.00 0.00 0.00 1.86 0.00 0.00

time (sec)

N/A 0.171 0.077 0.000 0.000 0.000 2.189 0.000 0.000

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

62 62 55 0 0 0 223 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 3.60 0.00 0.00

time (sec)

N/A 0.176 0.082 0.000 0.000 0.000 2.873 0.000 0.000

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 136 421 318 584 6418 1001 464

N.S.

1 1.00 0.87 2.68 2.03 3.72 40.88 6.38 2.96

time (sec)

N/A 0.310 0.197 0.664 0.211 0.234 1.559 0.280 1.552

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 98 321 221 393 3412 659 335

N.S.

1 1.00 0.86 2.82 1.94 3.45 29.93 5.78 2.94

time (sec)

N/A 0.259 0.093 0.669 0.214 0.224 0.987 0.284 1.273

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 67 159 138 235 1506 385 226

N.S.

1 1.00 0.86 2.04 1.77 3.01 19.31 4.94 2.90

time (sec)

N/A 0.220 0.086 0.652 0.213 0.228 0.592 0.272 1.418

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 88 77 0 0 0 316 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 3.59 0.00 0.00

time (sec)

N/A 0.230 0.093 0.000 0.000 0.000 2.769 0.000 0.000

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

87 93 73 0 0 0 265 0 0

N.S.

1 1.07 0.84 0.00 0.00 0.00 3.05 0.00 0.00

time (sec)

N/A 0.206 0.066 0.000 0.000 0.000 2.528 0.000 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 128 94 0 0 0 1040 0 0

N.S.

1 1.03 0.76 0.00 0.00 0.00 8.39 0.00 0.00

time (sec)

N/A 0.235 0.080 0.000 0.000 0.000 4.260 0.000 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 135 105 0 0 0 3794 0 0

N.S.

1 1.04 0.81 0.00 0.00 0.00 29.18 0.00 0.00

time (sec)

N/A 0.251 0.085 0.000 0.000 0.000 12.647 0.000 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 212 185 747 507 1075 13352 1873 867

N.S.

1 1.00 0.87 3.52 2.39 5.07 62.98 8.83 4.09

time (sec)

N/A 0.365 0.193 0.697 0.206 0.242 2.997 0.300 1.899

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 132 587 367 766 7803 1305 663

N.S.

1 1.00 0.86 3.81 2.38 4.97 50.67 8.47 4.31

time (sec)

N/A 0.298 0.137 0.680 0.228 0.237 1.838 0.277 1.461

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 94 389 246 497 4058 833 478

N.S.

1 1.00 0.85 3.54 2.24 4.52 36.89 7.57 4.35

time (sec)

N/A 0.248 0.079 0.667 0.215 0.233 1.119 0.283 1.693

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 131 117 0 0 0 923 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 7.05 0.00 0.00

time (sec)

N/A 0.283 0.125 0.000 0.000 0.000 3.379 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 152 114 0 0 0 478 0 0

N.S.

1 1.06 0.80 0.00 0.00 0.00 3.34 0.00 0.00

time (sec)

N/A 0.295 0.093 0.000 0.000 0.000 2.938 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

176 173 122 0 0 0 1085 0 0

N.S.

1 0.98 0.69 0.00 0.00 0.00 6.16 0.00 0.00

time (sec)

N/A 0.322 0.087 0.000 0.000 0.000 4.546 0.000 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 23 32 29 54 47 41

N.S.

1 1.00 1.00 1.05 1.45 1.32 2.45 2.14 1.86

time (sec)

N/A 0.142 0.043 0.742 0.256 0.237 0.882 0.287 1.187

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 108 100 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.252 0.130 0.000 0.000 0.000 0.000 0.000 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 68 0 0 0 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.183 0.053 0.000 0.000 0.000 0.000 0.000 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 51 51 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.159 0.040 0.000 0.000 0.000 0.000 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 95 85 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.193 0.066 0.000 0.000 0.000 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 136 113 0 0 0 0 0 0

N.S.

1 1.10 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.236 0.090 0.000 0.000 0.000 0.000 0.000 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

203 214 176 0 0 0 0 0 0

N.S.

1 1.05 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.357 0.152 0.000 0.000 0.000 0.000 0.000 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 139 115 0 0 0 0 0 0

N.S.

1 1.14 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.258 0.089 0.000 0.000 0.000 0.000 0.000 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 83 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.205 0.061 0.000 0.000 0.000 0.000 0.000 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

52 52 52 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.163 0.041 0.000 0.000 0.000 0.000 0.000 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 162 111 0 0 0 0 0 0

N.S.

1 1.17 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 0.122 0.000 0.000 0.000 0.000 0.000 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

190 219 176 0 0 0 0 0 0

N.S.

1 1.15 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.348 0.137 0.000 0.000 0.000 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

195 194 146 0 0 0 110 0 0

N.S.

1 0.99 0.75 0.00 0.00 0.00 0.56 0.00 0.00

time (sec)

N/A 0.340 0.246 0.000 0.000 0.000 104.155 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 91 0 0 0 70 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.65 0.00 0.00

time (sec)

N/A 0.210 0.151 0.000 0.000 0.000 65.979 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 134 0 0 0 0 0 0

N.S.

1 1.00 2.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.226 0.659 0.000 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 133 0 0 0 0 0 0

N.S.

1 1.00 2.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.219 0.716 0.000 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

209 194 153 0 0 0 128 0 0

N.S.

1 0.93 0.73 0.00 0.00 0.00 0.61 0.00 0.00

time (sec)

N/A 0.391 0.196 0.000 0.000 0.000 8.950 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 101 81 0 0 0 80 0 0

N.S.

1 0.94 0.75 0.00 0.00 0.00 0.74 0.00 0.00

time (sec)

N/A 0.211 0.054 0.000 0.000 0.000 4.975 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 63 60 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.181 0.169 0.000 0.000 0.000 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 63 60 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.181 0.167 0.000 0.000 0.000 0.000 0.000 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 79 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.204 0.197 0.000 0.000 0.000 0.000 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

211 238 172 0 0 0 0 0 0

N.S.

1 1.13 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.386 0.126 0.000 0.000 0.000 0.000 0.000 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

206 210 178 0 0 0 0 0 0

N.S.

1 1.02 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.352 0.193 0.000 0.000 0.000 0.000 0.000 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 129 105 0 0 0 0 0 0

N.S.

1 1.10 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.237 0.077 0.000 0.000 0.000 0.000 0.000 0.000

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 74 73 0 0 0 0 0 0

N.S.

1 1.21 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.183 0.037 0.000 0.000 0.000 0.000 0.000 0.000

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 88 0 0 0 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.207 0.073 0.000 0.000 0.000 0.000 0.000 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 93 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.205 0.066 0.000 0.000 0.000 0.000 0.000 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 79 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.199 0.422 0.000 0.000 0.000 0.000 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 79 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.198 0.244 0.000 0.000 0.000 0.000 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 77 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.196 0.248 0.000 0.000 0.000 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 49 45 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.176 0.153 0.000 0.000 0.000 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 65 62 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.183 0.152 0.000 0.000 0.000 0.000 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

47 47 45 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.161 0.293 0.000 0.000 0.000 0.000 0.000 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 63 62 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.175 0.304 0.000 0.000 0.000 0.000 0.000 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

295 306 262 0 0 0 0 0 0

N.S.

1 1.04 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.424 0.307 0.000 0.000 0.000 0.000 0.000 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

199 205 154 0 0 0 0 0 0

N.S.

1 1.03 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.325 0.128 0.000 0.000 0.000 0.000 0.000 0.000

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 125 101 0 0 0 0 0 0

N.S.

1 1.01 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.233 0.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

72 72 71 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.010 0.000 0.000 0.000 0.000 0.000 0.000

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 108 89 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.228 0.053 0.000 0.000 0.000 0.000 0.000 0.000

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

62 62 62 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.175 0.041 0.000 0.000 0.000 0.000 0.000 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 117 99 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 0.061 0.000 0.000 0.000 0.000 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 205 156 0 0 0 0 0 0

N.S.

1 1.06 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 0.113 0.000 0.000 0.000 0.000 0.000 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 112 128 0 0 0 0 0 0

N.S.

1 1.07 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.210 0.125 0.000 0.000 0.000 0.000 0.000 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 94 76 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.189 0.048 0.000 0.000 0.000 0.000 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 56 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.166 0.042 0.000 0.000 0.000 0.000 0.000 0.000

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 41 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 1.08 0.00 0.00

time (sec)

N/A 0.144 0.030 0.000 0.000 0.000 9.507 0.000 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 68 67 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.175 0.038 0.000 0.000 0.000 0.000 0.000 0.000

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 44 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.154 0.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

71 71 66 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.170 0.041 0.000 0.000 0.000 0.000 0.000 0.000

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 105 77 0 0 0 0 0 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.197 0.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

36 36 38 0 0 0 206 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 5.72 0.00 0.00

time (sec)

N/A 0.151 0.060 0.000 0.000 0.000 15.678 0.000 0.000

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 39 39 0 0 0 212 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 5.44 0.00 0.00

time (sec)

N/A 0.152 0.078 0.000 0.000 0.000 15.921 0.000 0.000

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

42 42 44 0 0 0 224 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 5.33 0.00 0.00

time (sec)

N/A 0.154 0.057 0.000 0.000 0.000 15.742 0.000 0.000

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

42 42 42 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.149 0.079 0.000 0.000 0.000 0.000 0.000 0.000

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 151 166 0 0 0 0 0 0

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.273 0.211 0.000 0.000 0.000 0.000 0.000 0.000

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 115 0 0 0 0 0 0

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.193 0.140 0.000 0.000 0.000 0.000 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

42 42 69 0 0 0 241 0 0

N.S.

1 1.00 1.64 0.00 0.00 0.00 5.74 0.00 0.00

time (sec)

N/A 0.153 0.076 0.000 0.000 0.000 16.094 0.000 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 104 120 0 0 0 0 0 0

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.208 0.167 0.000 0.000 0.000 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 158 172 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.297 0.212 0.000 0.000 0.000 0.000 0.000 0.000

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 120 0 0 0 0 0 0

N.S.

1 1.00 1.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.198 0.163 0.000 0.000 0.000 0.000 0.000 0.000

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 77 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.201 0.150 0.000 0.000 0.000 0.000 0.000 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 82 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.085 0.000 0.000 0.000 0.000 0.000 0.000

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

70 70 70 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.176 0.314 0.000 0.000 0.000 0.000 0.000 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 44 0 0 0 138 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 2.76 0.00 0.00

time (sec)

N/A 0.170 0.088 0.000 0.000 0.000 13.217 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

86 86 74 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.199 0.066 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]